Computer programming - PDFSEARCH.IO - Document Search Engine

Computer programming
Results: 45296

#	Item
391	Design and Scalability of NLS, a Scalable Naming and Location Service Y. Charlie Hu, Daniel A. Rodney and Peter Druschel Computer Science Department Rice University Houston, TX 77005 , , d Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2001-06-26 00:43:24 Computing Computer programming Graph theory Domain name system B-tree Internet Standards Internet protocols Binary trees Node Name server Tree Lowest common ancestor
392	detecting the future ALBULA ware ft Add to Reading List Source URL: www.dectris.com Language: English - Date: 2016-04-27 04:53:16 Software engineering Computer programming Programming language theory Application programming interface Technical communication Python
393	A Constraint-based Partial Evaluator for Functional Logic Programs and its Application Laura Lafave A thesis submitted to the University of Bristol in accordance with the Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:10 Software engineering Programming paradigms Computing Theoretical computer science Evaluation strategy Incremental computing Partial evaluation Logic programming Functional programming Algorithm Programming language Evaluation
394	Conversational Programming in Action Alexander Repenning AgentSheets Inc. Boulder 80301, Colorado, USA Abstract – Accelerated by the Do-It-Yourself mindset of the Add to Reading List Source URL: www.cs.colorado.edu Language: English - Date: 2011-07-24 21:52:56 Computing Software engineering Software Concurrent programming languages Visual programming languages Cross-platform software Computer programming AgentSheets Artificial intelligence Programmer Debugging Programming language
395	doi:j.ins Add to Reading List Source URL: pbil.univ-lyon1.fr Language: English - Date: 2008-10-22 02:35:21 Theory of computation Dynamic programming Maximal pair String Mathematics String searching algorithm Suffix tree Approximate string matching Time complexity Algorithm Computer science
396	The Semantics of x86-CC Multiprocessor Machine Code Susmit Sarkar1 Scott Owens1 Tom Ridge1 Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2012-09-10 07:41:01 Computing Computer architecture Software engineering X86 architecture Computer memory Low-level programming language Spinlock X86 Assembly language Memory barrier Memory ordering Exit
397	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2012-04-24 12:00:17 Proof theory Dependently typed programming Logic in computer science Type theory Riemann surfaces Mathematics Philosophy of mathematics CurryHoward correspondence Logic Orbifold
398	A High-School Program in Computer Science Judith Gal-Ezer∗ Catriel Beeri† Amiram Yehudai§ Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2004-09-27 01:19:29 Engineering Computing Software engineering Computer engineering Computer science Electrical engineering Electronic engineering Programming language Theoretical computer science Programming paradigm Computer Modular programming
399	Open MPI: Goals, Concept, and Design of a Next Generation MPI Implementation Edgar Gabriel1 , Graham E. Fagg1 , George Bosilca1 , Thara Angskun1 , Jack J. Dongarra1 , Jeffrey M. Squyres2 , Vishal Sahay2 , Prabhanjan Kamb Add to Reading List Source URL: www.open-mpi.de Language: English - Date: 2016-07-13 05:33:02 Computing Parallel computing Computer programming Application programming interfaces Message Passing Interface Fault-tolerant computer systems LAM/MPI MPICH Open MPI Computer cluster SHMEM Application checkpointing
400	CSE 584A Class 8 Jeremy Buhler February 15, 2016 We’re going to look at one of several linear-time algorithms for constructing the suffix array of a string. This approach is due to K¨arkk¨ainen and Sanders (2003). Add to Reading List Source URL: classes.engineering.wustl.edu Language: English - Date: 2016-02-29 12:58:18 Arrays Sorting algorithms Computer programming Suffix array Computing Merge sort Mathematics LCP array

UPDATE